(SOURCES): Delete PROBLEMS.

diff --git a/Makefile.in b/Makefile.in
index c94ef22fcfa6e0f8c077bd216f22b7ea8bfc8b68..6d7e5a948f2b71d01df6db6a4b62a3ae02c64f5e 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -521,7 +521,7 @@ extraclean:
 ### Note: it's no disaster if these productions miss a file or two; tar
 ### and VC will swiftly let you know if this happens, and it is easily
 ### corrected.
-SOURCES = ChangeLog GETTING.GNU.SOFTWARE INSTALL Makefile.in PROBLEMS \
+SOURCES = ChangeLog GETTING.GNU.SOFTWARE INSTALL Makefile.in \
        README configure make-dist move-if-change
 
 .PHONY: unlock relock